#ifndef __X64_TTY_H__
#define __X64_TTY_H__
#include "types.h"

void console_init(void);
void console_write(char* buf, u32 count);

#endif